Towards a multi-valued logic for argumentation
نویسندگان
چکیده
The objective of our paper is to investigate the possibilities of a logical representation for argumentation executed in multi-agent systems. We concentrate particularly on belief’s uncertainty and revision that an agent deals with throughout the process of discussion. Moreover, we propose a formalism based on a multi-valued logic that allows for specification of properties of multi-agent systems concerned with argumentation process. keywords: argumentation, multi-agent systems, a multi-valued logic
منابع مشابه
Multi-Valued and Probabilistic Argumentation Frameworks
In this paper we further progress the analysis of the recently introduced multi-valued argumentation frameworks ( ). are an extension of Dung’s abstract argumentation, where arguments have a degree of truth associated with them. Here we describe a list of properties of considering the major multi-valued logics such as those proposed by Gödel, Zadeh and Łukasiewicz. We then propose a computation...
متن کاملMulti-valued Argumentation Frameworks
In this paper we explore how the seminal Dung’s abstract argumentation framework can be extended to handle arguments containing gradual concepts. We allow arguments to have a degree of truth associated with them and we investigate the degree of truth to which each argument can be considered accepted, rejected and undecided by an abstract argumentation semantics. We propose a truth-compositional...
متن کاملSpecializing the Logic of Multiple-Valued Argumentation to the Jaina Seven-Valued Logic
Argumentation is a dialectical process of knowing things (inquiry) and justifying them (advocacy) in general. Computational argumentation has been recognized as a social computing mechanism or paradigm in the multi-agent systems community. We have developed a computational argumentation framework that basically consists of EALP (Extended Annotated Logic Programming) and LMA (Logic of Multipleva...
متن کاملDialogue and Argumentation in Multi-agent Diagnosis
In this paper, we make a first step towards a formal model of dialogue and argumentation for a multi-agent (model-based) diagnostic system. We shall discuss some of the issues in multi-agent cooperative fault diagnosis, the theories of communicating agents and their reasoning capabilities. We propose a Partial Information State (PIS)-based framework for dialogue and argumentation. We shall empl...
متن کاملTheory of multiple-valued defeasible argumentation and its applications
This paper provides a new departure from the traditional twovalued argumentation frameworks. We address ourselves to formalize an expressive logic of argumentation, called a Logic of Multiple-valued Argumentation (LMA), on top of the very expressive knowledge representation language, called Extended Annotated Logic Programming (EALP), and examine its logical properties in various ways. EALP all...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006